$\forall$$a$, $b$:$\mathbb{B}$. (($a$ $\vee_{b}$$b$) $\sim$ ff) $\Rightarrow$ \{($a$ $\sim$ ff) \& ($b$ $\sim$ ff)\}